POST: A Case Study for an Incremental Development in rCOS
نویسندگان
چکیده
We have recently developed an object-oriented refinement calculus called rCOS to formalize the basic object-orient design principles, patterns and refactoring as refinement laws. The aim is of rCOS is to provide a formal support to the use-cased driven, incremental and iterative Rational Unified Process (RUP). In this paper, we apply rCOS to a step-wised development of a Point of Sale Terminal (POST) system, from a requirement model to a design model, and finally, to the implementation in Visual C#.
منابع مشابه
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Within many formalisms, rCOS, a refinement calculus of object-oriented systems based on Unifying Theories of Programming (UTP), has been proven a promising one in the sense of its applications on incremental software constructions, the formal use and checking for UML based deve...
متن کاملSpecification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus for Refinement of Component and Object Systems. As an aid to the software engineer, the modeler helps to separate the different concerns by creating different artifacts in the UML model: use cases define a scenario t...
متن کاملEffect of an Acute Incremental Exercise on Plasma Peptide YY, Neuropeptide Y and IGF-1 Concentrations in Young Athletes
This study aims to determine the effect of a single exhausting exercise on plasma PYY, NPY and IGF-1 in young athletes. Thirty-one young athletes (aged 19.52±2.75 years, body mass 79.24±16.13 kg, height 173±6.49 cm, and body fat 16.37±5.92%) volunteered to participate in this study. The participations, in randomized crossover manner, performed a single exercise bout on a cycle ergometer at 50...
متن کاملThe Verification of rCOS Using Spin
The rCOS is a relational object-based language with a precise observation-oriented semantics. It can capture key features of object model including subtypes, visibility, inheritance, polymorphism and so on. To analyze the model specified by rCOS, we propose a verification approach to check whether those properties such as the assertion, invariant of class and method contracts hold. The Spin mod...
متن کاملModelling with Relational Calculus of Object and Component Systems - rCOS
This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (rCOS). We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2. Then the refinement calculus of rCOS is used to derive design models corresponding to the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005